Celestin Apprentice 7/Apprentice-Release7.iso/Source Code/C/Applications/Moscow ML 1.42/src/compiler/Match.sig

Text File | 1997-08-18 | 158 b | 10 lines | [TEXT/R*ch]

local
  open Lambda Location Asynt Tr_env;
in

val translateMatch :
  TranslEnv -> (unit -> Lambda) ->
  Location -> (Pat list * Lambda) list -> Lambda

end;